// 表示永远不会发生值的类型, 死循环或者异常